AD.[W81,JMC]		candidacy for faculty senate
advice[w81,jmc]			notes on the advice taker paper
AIRPO2.AX[W81,JMC]	Airport axioms involving rationality.
AIRPO4.AX[W81,JMC]	Airport axioms with walkable etc. timeless
AIRPO5.AX[W81,JMC]	Contains additional declarations and axioms
			for reifying actions.
AIRPO6.[W81,JMC]	prove should(I,prog(walk(car),drive(airport)),S0)
airpor.ax[w81,jmc]	axioms for going to the airport
airpor[w81,jmc]		the axiomatics of going to the airport
BAZ.LSP[W81,JMC]	finding a path from x to y
BINFOR.REC[W81,JMC]	replies received to letter about Binford
BINFOR.[W81,JMC]	from Binford long form
circum.sli[w81,jmc]	slides for circumscription lecture
CLASS.[W81,JMC]		cs226, Winter 1981
closed[w81,jmc]			closed world assumption, going down, etc.
commun[w81,jmc]		practical and theoretical arguments against communism
compre[w81,jmc]		comprehensive problem about binomial co-efficient
			program and its correctness proof
cs226[w81,jmc]		notes for the class
draft.ax[w81,jmc]		drafts of possibly useful axioms
EXER2.TXT[W81,JMC]	exercises for CS226
FOO.LSP[W81,JMC]	random lisp functions
format[w81,jmc]		Principles of text formatting languages like TEX, PUB, SCRIBE
frame.ax[w81,jmc]	axioms for frames using assignment
HOTER.NS[W81,JMC]	home terminals
ideas[w81,jmc]		random ideas of winter '81
keyboa.tex[w81,jmc]	EFFECTIVE INTERACTIVE USE OF LARGE CHARACTER SETS}
KNOW.2[W81,JMC]		Formalization of two puzzles involving knowledge
know[w81,jmc]		original jmc knowledge axioms and version in FOL
konoli[w81,jmc]		comments on Konolige's paper
langua[w81,jmc]		epistemological approach to natural language
LASER.[W81,JMC]		speculations about bomb powered lasers
LISP.INI[W81,JMC]
mathsc[w81,jmc]		proposal for modifying the mathematical sciences major
miners[w81,jmc]		miners in Donetsk
modal[w81,jmc]		denigrating modal logic
nonmon[w81,jmc]		notes for lecture to logic seminar 1981 feb 2
OR.AX[W81,JMC]		comment |circumscription of a disjunction|
OR.PRF[W81,JMC]		circumscription proof in FOL
passwo[w81,jmc]			passwords for equipment
prev.lsp[w81,jmc]	in place reverse of a list
QUESTI.[W81,JMC]	draft questionnaire for non review
questi[w81,jmc]			questionnaire about review of questionnaires
rawls[w81,jmc]			notes on Rawls's "A Theory of Justice"
REITER.ABS[W81,JMC]	Reiter talk
rp[w81,jmc]		Notes on a reasoning program
sciadv[w81,jmc]		Scientific Advice for the Reagan Administration
se2[w81,jmc]		notes for SE2 business
space.2[w81,jmc]		Comments on llw draft of transportation technology
space.tex[w81,jmc]		Handout for Pournelle space conference
SPACE.[W81,JMC]		Notes for Pournelle space conference
space[w81,jmc]			ideas for Pournelle space conference